منابع مشابه
Real Time Process Algebra with Infinitesimals
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...
متن کاملThe Real-Time Process Algebra (RTPA)
The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recognized that the specification of software behaviors is a three-dimensional problem known as: (i) mathematical operations, (ii) event/process timing, and (iii) memory manipulations. Conventional formal methods in software engineerin...
متن کاملA Process Algebra for Real-Time Programs
We introduce a generalised notion of a real-time specification language (“GPLC-Automata”) that can be translated directly into real-time programs. In order to describe the behaviour of several GPLCAutomata implemented on one machine we introduce composition operators which form a process algebra. We give several algebraic laws and prove that each system is equivalent to a system in a certain no...
متن کاملReal time process algebra with time-dependent conditions
We add conditionals with time-dependent conditions to the real time process algebra with parametric timing from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001, Chapter 10]. This extension facilitates flexible dependence of process behaviour on initialization time. We show that the conditions concerned generalize the ...
متن کاملProcess Algebra with Timing Real Time and Discrete Time
We present real time and discrete time versions of ACP with absolute timing and relative timing The starting point is a new real time version with absolute timing called ACPsat featuring urgent actions and a delay operator The discrete time versions are conservative extensions of the discrete time versions of ACP being known as ACPdat and ACPdrt The principal version is an extension of ACPsat w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1991
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf01898401